Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
821	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-07-02 09:31:37 Mathematics Logic in computer science Systems engineering Automated theorem proving Formal verification Software verification Model checking Logic simulation Correctness Formal methods Applied mathematics Theoretical computer science
822	PDF Document Add to Reading List Source URL: subs.emis.de Language: English - Date: 2012-04-16 06:04:40 Polyspace Software testing Formal methods Logic in computer science Formal verification Cross-platform software Software verification Abstract interpretation Programming language Computing Software engineering Programming language theory
823	PDF Document Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:06:52 Applied mathematics Cross-platform software Mathematical modeling Numerical software Simulation software Simulink Formal verification Functional verification Annotation Software Visual programming languages Theoretical computer science
824	PDF Document Add to Reading List Source URL: ttvsi.gilith.com Language: English - Date: 2009-09-28 15:59:09 Applied mathematics Formal methods Automated theorem proving ACL2 Lisp programming language Formal verification Michael J. C. Gordon HOL Mathematical logic Theoretical computer science Mathematics Logic in computer science
825	PDF Document Add to Reading List Source URL: guru-lang.googlecode.com Language: English - Date: 2011-04-06 12:22:59 Type theory Functional languages Logic in computer science Data types Dependent type Formal verification Functional programming Type system Haskell Software engineering Programming language theory Computing
826	PDF Document Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-08-29 07:20:33 Applied mathematics Distance-bounding protocol IP NEXPTIME Formal verification Alice and Bob Public-key cryptography Man-in-the-middle attack Interactive proof system Cryptography Cryptographic protocols Theoretical computer science
827	PDF Document Add to Reading List Source URL: www.fda.gov Language: English Science Validity Quality Formal methods Validation Verification and validation Medical device Software testing Design controls Technology Software development Pharmaceutical industry
828	PDF Document Add to Reading List Source URL: courses.washington.edu Language: English - Date: 2007-10-02 12:39:44 Philosophy of science Analytic philosophy Pharmaceutical industry Validity Formal methods Economic model Conceptual model Computer simulation Verification and validation Science Ethology Philosophy
829	PDF Document Add to Reading List Source URL: esamultimedia.esa.int Language: English - Date: 2010-04-16 14:34:45 Systems science Reliability engineering Software quality Formal methods Dependability Verification Software development process Requirement Hazard analysis Systems engineering Safety engineering Safety